2.2.3 Integrals 201 to 300

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 201

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

73 71 211 64 71 368 0 83 69

N.S.

1 0.97 2.89 0.88 0.97 5.04 0.00 1.14 0.95

time (sec)

N/A 0.236 2.519 0.474 0.266 0.277 0.000 0.303 19.350

Problem 202

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A B F A B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

92 111 240 90 106 435 0 114 2056

N.S.

1 1.21 2.61 0.98 1.15 4.73 0.00 1.24 22.35

time (sec)

N/A 0.253 1.410 0.351 0.273 0.295 0.000 0.286 21.719

Problem 203

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

142 161 103 120 175 544 0 192 2401

N.S.

1 1.13 0.73 0.85 1.23 3.83 0.00 1.35 16.91

time (sec)

N/A 0.352 1.233 1.876 0.269 0.319 0.000 0.312 22.474

Problem 204

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

203 232 138 160 268 656 0 195 2880

N.S.

1 1.14 0.68 0.79 1.32 3.23 0.00 0.96 14.19

time (sec)

N/A 0.435 1.565 3.492 0.276 0.328 0.000 0.316 22.995

Problem 205

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A A F(-1) A B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

278 316 499 210 369 789 0 270 3310

N.S.

1 1.14 1.79 0.76 1.33 2.84 0.00 0.97 11.91

time (sec)

N/A 0.512 4.748 6.040 0.278 0.313 0.000 0.313 23.683

Problem 206

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

108 113 90 108 179 472 0 117 113

N.S.

1 1.05 0.83 1.00 1.66 4.37 0.00 1.08 1.05

time (sec)

N/A 0.259 0.759 1.378 0.276 0.299 0.000 0.336 0.214

Problem 207

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

125 125 163 124 212 544 0 155 129

N.S.

1 1.00 1.30 0.99 1.70 4.35 0.00 1.24 1.03

time (sec)

N/A 0.276 0.701 1.711 0.269 0.297 0.000 0.343 19.600

Problem 208

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A B F A B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

144 156 927 142 233 613 0 178 149

N.S.

1 1.08 6.44 0.99 1.62 4.26 0.00 1.24 1.03

time (sec)

N/A 0.300 5.451 1.655 0.269 0.293 0.000 0.344 0.335

Problem 209

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

156 148 176 149 253 727 0 197 175

N.S.

1 0.95 1.13 0.96 1.62 4.66 0.00 1.26 1.12

time (sec)

N/A 0.369 1.364 3.144 0.275 0.331 0.000 0.340 19.719

Problem 210

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

181 170 194 177 272 856 0 229 256

N.S.

1 0.94 1.07 0.98 1.50 4.73 0.00 1.27 1.41

time (sec)

N/A 0.394 3.248 5.839 0.270 0.324 0.000 0.350 0.351

Problem 211

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A B F(-1) A B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

214 200 2670 214 303 995 0 271 257

N.S.

1 0.93 12.48 1.00 1.42 4.65 0.00 1.27 1.20

time (sec)

N/A 0.416 7.352 10.268 0.272 0.347 0.000 0.356 0.236

Problem 212

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

142 152 125 137 210 722 0 185 149

N.S.

1 1.07 0.88 0.96 1.48 5.08 0.00 1.30 1.05

time (sec)

N/A 0.312 0.827 1.474 0.276 0.317 0.000 0.336 20.045

Problem 213

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A B F A B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

123 123 283 118 187 654 0 163 125

N.S.

1 1.00 2.30 0.96 1.52 5.32 0.00 1.33 1.02

time (sec)

N/A 0.275 4.134 1.446 0.276 0.320 0.000 0.343 19.349

Problem 214

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A B F A B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

106 111 265 100 156 580 0 124 112

N.S.

1 1.05 2.50 0.94 1.47 5.47 0.00 1.17 1.06

time (sec)

N/A 0.258 4.593 1.580 0.284 0.297 0.000 0.334 19.073

Problem 215

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A B F A B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

144 175 332 147 231 819 0 196 3271

N.S.

1 1.22 2.31 1.02 1.60 5.69 0.00 1.36 22.72

time (sec)

N/A 0.326 6.650 1.372 0.279 0.324 0.000 0.298 23.592

Problem 216

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

201 239 156 177 338 970 0 228 3708

N.S.

1 1.19 0.78 0.88 1.68 4.83 0.00 1.13 18.45

time (sec)

N/A 0.441 4.487 4.398 0.275 0.330 0.000 0.338 24.104

Problem 217

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A B F(-1) A B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

269 305 1430 215 464 1129 0 464 4158

N.S.

1 1.13 5.32 0.80 1.72 4.20 0.00 1.72 15.46

time (sec)

N/A 0.521 9.964 6.905 0.284 0.347 0.000 0.340 24.036

Problem 218

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A A F(-1) A B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

352 397 1770 267 611 1296 0 350 4594

N.S.

1 1.13 5.03 0.76 1.74 3.68 0.00 0.99 13.05

time (sec)

N/A 0.597 11.122 12.974 0.289 0.395 0.000 0.350 25.065

Problem 219

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A B B F(-1) A B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

204 245 1411 229 401 1323 0 324 4506

N.S.

1 1.20 6.92 1.12 1.97 6.49 0.00 1.59 22.09

time (sec)

N/A 0.412 9.439 3.254 0.288 0.365 0.000 0.318 25.028

Problem 220

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

134 83 70 145 81 100 0 217 0

N.S.

1 0.62 0.52 1.08 0.60 0.75 0.00 1.62 0.00

time (sec)

N/A 0.525 2.544 5.155 0.277 0.268 0.000 0.546 0.000

Problem 221

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

101 68 60 135 62 87 0 182 0

N.S.

1 0.67 0.59 1.34 0.61 0.86 0.00 1.80 0.00

time (sec)

N/A 0.430 0.631 3.366 0.264 0.260 0.000 0.438 0.000

Problem 222

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

64 51 48 98 40 68 0 137 0

N.S.

1 0.80 0.75 1.53 0.62 1.06 0.00 2.14 0.00

time (sec)

N/A 0.350 0.151 0.764 0.272 0.271 0.000 0.357 0.000

Problem 223

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

33 33 33 38 21 53 0 141 0

N.S.

1 1.00 1.00 1.15 0.64 1.61 0.00 4.27 0.00

time (sec)

N/A 0.285 0.051 0.207 0.272 0.256 0.000 0.345 0.000

Problem 224

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

32 34 40 48 37 56 0 0 0

N.S.

1 1.06 1.25 1.50 1.16 1.75 0.00 0.00 0.00

time (sec)

N/A 0.293 0.083 0.200 0.278 0.256 0.000 0.000 0.000

Problem 225

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

67 54 57 87 60 94 0 108 0

N.S.

1 0.81 0.85 1.30 0.90 1.40 0.00 1.61 0.00

time (sec)

N/A 0.371 0.167 0.826 0.279 0.265 0.000 0.427 0.000

Problem 226

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

100 71 67 107 79 125 0 147 0

N.S.

1 0.71 0.67 1.07 0.79 1.25 0.00 1.47 0.00

time (sec)

N/A 0.447 0.306 0.866 0.281 0.282 0.000 0.612 0.000

Problem 227

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

133 84 79 117 94 162 0 171 0

N.S.

1 0.63 0.59 0.88 0.71 1.22 0.00 1.29 0.00

time (sec)

N/A 0.523 0.391 0.912 0.278 0.250 0.000 0.545 0.000

Problem 228

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F C F C F F F(-1)

verified

N/A Yes N/A No TBD TBD TBD TBD TBD

size

372 390 0 8814 0 887 0 0 0

N.S.

1 1.05 0.00 23.69 0.00 2.38 0.00 0.00 0.00

time (sec)

N/A 0.665 0.000 14.829 0.000 0.172 0.000 0.000 0.000

Problem 229

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F C F C F F F(-1)

verified

N/A Yes N/A No TBD TBD TBD TBD TBD

size

288 305 0 6342 0 782 0 0 0

N.S.

1 1.06 0.00 22.02 0.00 2.72 0.00 0.00 0.00

time (sec)

N/A 0.553 0.000 9.800 0.000 0.147 0.000 0.000 0.000

Problem 230

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F C F C F F F(-1)

verified

N/A Yes N/A No TBD TBD TBD TBD TBD

size

218 238 0 4676 0 603 0 0 0

N.S.

1 1.09 0.00 21.45 0.00 2.77 0.00 0.00 0.00

time (sec)

N/A 0.467 0.000 7.335 0.000 0.119 0.000 0.000 0.000

Problem 231

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

80 90 69 4727 0 0 0 0 0

N.S.

1 1.12 0.86 59.09 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.312 0.637 3.872 0.000 0.000 0.000 0.000 0.000

Problem 232

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F F(-1) F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

246 249 402 6300 0 0 0 0 0

N.S.

1 1.01 1.63 25.61 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.494 13.397 7.231 0.000 0.000 0.000 0.000 0.000

Problem 233

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F C F F F(-1) F F(-1)

verified

N/A Yes N/A No TBD TBD TBD TBD TBD

size

338 328 0 8763 0 0 0 0 0

N.S.

1 0.97 0.00 25.93 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.616 0.000 9.747 0.000 0.000 0.000 0.000 0.000

Problem 234

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B A A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

186 180 407 1375 317 468 0 0 0

N.S.

1 0.97 2.19 7.39 1.70 2.52 0.00 0.00 0.00

time (sec)

N/A 0.320 15.531 17.255 0.200 1.066 0.000 0.000 0.000

Problem 235

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B A A F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

122 117 380 907 173 390 0 0 0

N.S.

1 0.96 3.11 7.43 1.42 3.20 0.00 0.00 0.00

time (sec)

N/A 0.268 7.729 11.174 0.214 0.425 0.000 0.000 0.000

Problem 236

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B A B F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

76 74 210 537 69 320 0 0 0

N.S.

1 0.97 2.76 7.07 0.91 4.21 0.00 0.00 0.00

time (sec)

N/A 0.250 1.887 6.676 0.196 0.308 0.000 0.000 0.000

Problem 237

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B C B F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

79 77 284 351 3227 1227 0 0 0

N.S.

1 0.97 3.59 4.44 40.85 15.53 0.00 0.00 0.00

time (sec)

N/A 0.238 0.489 2.109 0.801 0.497 0.000 0.000 0.000

Problem 238

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

82 86 136 313 0 499 0 0 0

N.S.

1 1.05 1.66 3.82 0.00 6.09 0.00 0.00 0.00

time (sec)

N/A 0.259 0.774 2.806 0.000 0.421 0.000 0.000 0.000

Problem 239

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

140 143 152 587 0 567 0 0 0

N.S.

1 1.02 1.09 4.19 0.00 4.05 0.00 0.00 0.00

time (sec)

N/A 0.289 1.381 5.099 0.000 0.546 0.000 0.000 0.000

Problem 240

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F A F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

196 215 1902 970 0 641 0 0 0

N.S.

1 1.10 9.70 4.95 0.00 3.27 0.00 0.00 0.00

time (sec)

N/A 0.367 16.882 7.745 0.000 1.169 0.000 0.000 0.000

Problem 241

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F C F C F F F(-1)

verified

N/A Yes N/A No TBD TBD TBD TBD TBD

size

450 471 0 11007 0 981 0 0 0

N.S.

1 1.05 0.00 24.46 0.00 2.18 0.00 0.00 0.00

time (sec)

N/A 0.770 0.000 16.319 0.000 0.201 0.000 0.000 0.000

Problem 242

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F C F C F F F(-1)

verified

N/A Yes N/A Yes TBD TBD TBD TBD TBD

size

371 389 0 8946 0 890 0 0 0

N.S.

1 1.05 0.00 24.11 0.00 2.40 0.00 0.00 0.00

time (sec)

N/A 0.674 0.000 13.873 0.000 0.163 0.000 0.000 0.000

Problem 243

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F C F C F F F(-1)

verified

N/A Yes N/A Yes TBD TBD TBD TBD TBD

size

290 308 0 7055 0 798 0 0 0

N.S.

1 1.06 0.00 24.33 0.00 2.75 0.00 0.00 0.00

time (sec)

N/A 0.559 0.000 9.322 0.000 0.141 0.000 0.000 0.000

Problem 244

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F C F F F F F(-1)

verified

N/A Yes N/A No TBD TBD TBD TBD TBD

size

224 244 0 5360 0 0 0 0 0

N.S.

1 1.09 0.00 23.93 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.455 0.000 6.353 0.000 0.000 0.000 0.000 0.000

Problem 245

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

241 245 179 6947 0 0 0 0 0

N.S.

1 1.02 0.74 28.83 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.499 2.739 3.142 0.000 0.000 0.000 0.000 0.000

Problem 246

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F F(-1) F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

319 323 356 8848 0 0 0 0 0

N.S.

1 1.01 1.12 27.74 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.633 18.481 7.028 0.000 0.000 0.000 0.000 0.000

Problem 247

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B A A F F F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

243 217 512 1977 415 566 0 0 0

N.S.

1 0.89 2.11 8.14 1.71 2.33 0.00 0.00 0.00

time (sec)

N/A 0.351 11.216 21.487 0.214 4.133 0.000 0.000 0.000

Problem 248

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B A A F F F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

165 152 450 1417 243 470 0 0 0

N.S.

1 0.92 2.73 8.59 1.47 2.85 0.00 0.00 0.00

time (sec)

N/A 0.294 8.974 16.720 0.207 1.074 0.000 0.000 0.000

Problem 249

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B A A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

111 109 84 951 104 390 0 0 0

N.S.

1 0.98 0.76 8.57 0.94 3.51 0.00 0.00 0.00

time (sec)

N/A 0.269 0.458 11.799 0.196 0.432 0.000 0.000 0.000

Problem 250

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F B F F F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

118 116 527 709 0 1457 0 0 0

N.S.

1 0.98 4.47 6.01 0.00 12.35 0.00 0.00 0.00

time (sec)

N/A 0.281 2.143 7.762 0.000 0.605 0.000 0.000 0.000

Problem 251

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F B F(-1) F F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

124 128 466 537 0 1403 0 0 0

N.S.

1 1.03 3.76 4.33 0.00 11.31 0.00 0.00 0.00

time (sec)

N/A 0.331 7.324 9.313 0.000 0.605 0.000 0.000 0.000

Problem 252

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

125 133 191 602 0 563 0 0 0

N.S.

1 1.06 1.53 4.82 0.00 4.50 0.00 0.00 0.00

time (sec)

N/A 0.288 1.241 3.575 0.000 0.574 0.000 0.000 0.000

Problem 253

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

193 190 165 986 0 647 0 0 0

N.S.

1 0.98 0.85 5.11 0.00 3.35 0.00 0.00 0.00

time (sec)

N/A 0.324 2.222 6.036 0.000 1.191 0.000 0.000 0.000

Problem 254

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F B F F F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

166 166 706 1137 0 1611 0 0 0

N.S.

1 1.00 4.25 6.85 0.00 9.70 0.00 0.00 0.00

time (sec)

N/A 0.334 9.620 21.085 0.000 1.291 0.000 0.000 0.000

Problem 255

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F B F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

42 42 109 189 0 160 0 0 0

N.S.

1 1.00 2.60 4.50 0.00 3.81 0.00 0.00 0.00

time (sec)

N/A 0.197 0.239 8.050 0.000 0.263 0.000 0.000 0.000

Problem 256

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B C B F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

24 24 57 120 1391 131 0 0 0

N.S.

1 1.00 2.38 5.00 57.96 5.46 0.00 0.00 0.00

time (sec)

N/A 0.189 0.075 5.975 0.565 0.257 0.000 0.000 0.000

Problem 257

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F C F C F F F(-1)

verified

N/A Yes N/A No TBD TBD TBD TBD TBD

size

330 315 0 6274 0 784 0 0 0

N.S.

1 0.95 0.00 19.01 0.00 2.38 0.00 0.00 0.00

time (sec)

N/A 0.576 0.000 12.320 0.000 0.149 0.000 0.000 0.000

Problem 258

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F C F C F F F(-1)

verified

N/A Yes N/A No TBD TBD TBD TBD TBD

size

170 201 0 4103 0 594 0 0 0

N.S.

1 1.18 0.00 24.14 0.00 3.49 0.00 0.00 0.00

time (sec)

N/A 0.428 0.000 7.891 0.000 0.129 0.000 0.000 0.000

Problem 259

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

80 90 69 243 0 303 0 0 0

N.S.

1 1.12 0.86 3.04 0.00 3.79 0.00 0.00 0.00

time (sec)

N/A 0.350 0.882 3.490 0.000 0.102 0.000 0.000 0.000

Problem 260

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

105 115 274 4095 0 0 0 0 0

N.S.

1 1.10 2.61 39.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.319 10.867 6.407 0.000 0.000 0.000 0.000 0.000

Problem 261

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F C F F F(-1) F F(-1)

verified

N/A Yes N/A No TBD TBD TBD TBD TBD

size

255 258 0 6273 0 0 0 0 0

N.S.

1 1.01 0.00 24.60 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.506 0.000 9.019 0.000 0.000 0.000 0.000 0.000

Problem 262

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F C F F F(-1) F F(-1)

verified

N/A Yes N/A No TBD TBD TBD TBD TBD

size

345 337 0 8756 0 0 0 0 0

N.S.

1 0.98 0.00 25.38 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.606 0.000 11.261 0.000 0.000 0.000 0.000 0.000

Problem 263

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B A A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

137 142 326 1612 160 396 0 0 0

N.S.

1 1.04 2.38 11.77 1.17 2.89 0.00 0.00 0.00

time (sec)

N/A 0.311 8.552 16.828 0.202 0.435 0.000 0.000 0.000

Problem 264

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B A B F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

81 79 326 1039 74 324 0 0 0

N.S.

1 0.98 4.02 12.83 0.91 4.00 0.00 0.00 0.00

time (sec)

N/A 0.266 6.998 11.293 0.202 0.320 0.000 0.000 0.000

Problem 265

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B A B F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

39 39 87 241 23 215 0 0 0

N.S.

1 1.00 2.23 6.18 0.59 5.51 0.00 0.00 0.00

time (sec)

N/A 0.247 0.152 7.881 0.195 0.301 0.000 0.000 0.000

Problem 266

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B B B F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

39 39 87 138 992 408 0 0 0

N.S.

1 1.00 2.23 3.54 25.44 10.46 0.00 0.00 0.00

time (sec)

N/A 0.205 0.068 3.019 0.403 0.367 0.000 0.000 0.000

Problem 267

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

87 91 126 507 0 502 0 0 0

N.S.

1 1.05 1.45 5.83 0.00 5.77 0.00 0.00 0.00

time (sec)

N/A 0.275 0.279 5.121 0.000 0.401 0.000 0.000 0.000

Problem 268

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F A F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

143 156 1840 809 0 567 0 0 0

N.S.

1 1.09 12.87 5.66 0.00 3.97 0.00 0.00 0.00

time (sec)

N/A 0.319 16.220 7.145 0.000 0.533 0.000 0.000 0.000

Problem 269

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F A F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

204 226 1739 1136 0 643 0 0 0

N.S.

1 1.11 8.52 5.57 0.00 3.15 0.00 0.00 0.00

time (sec)

N/A 0.375 15.442 9.682 0.000 1.140 0.000 0.000 0.000

Problem 270

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F C F C F F F(-1)

verified

N/A Yes N/A No TBD TBD TBD TBD TBD

size

289 316 0 10329 0 960 0 0 0

N.S.

1 1.09 0.00 35.74 0.00 3.32 0.00 0.00 0.00

time (sec)

N/A 0.575 0.000 9.398 0.000 0.163 0.000 0.000 0.000

Problem 271

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

150 187 113 2535 0 894 0 0 0

N.S.

1 1.25 0.75 16.90 0.00 5.96 0.00 0.00 0.00

time (sec)

N/A 0.432 3.659 6.144 0.000 0.171 0.000 0.000 0.000

Problem 272

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F C F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

229 247 905 2534 0 762 0 0 0

N.S.

1 1.08 3.95 11.07 0.00 3.33 0.00 0.00 0.00

time (sec)

N/A 0.488 18.390 5.982 0.000 0.146 0.000 0.000 0.000

Problem 273

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F C F F F F F(-1)

verified

N/A Yes N/A No TBD TBD TBD TBD TBD

size

240 261 0 6126 0 0 0 0 0

N.S.

1 1.09 0.00 25.52 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.471 0.000 7.970 0.000 0.000 0.000 0.000 0.000

Problem 274

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F C F F F(-1) F F(-1)

verified

N/A Yes N/A No TBD TBD TBD TBD TBD

size

335 336 0 15843 0 0 0 0 0

N.S.

1 1.00 0.00 47.29 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.605 0.000 10.670 0.000 0.000 0.000 0.000 0.000

Problem 275

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F C F F F(-1) F F(-1)

verified

N/A Yes N/A No TBD TBD TBD TBD TBD

size

436 422 0 18649 0 0 0 0 0

N.S.

1 0.97 0.00 42.77 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.704 0.000 14.006 0.000 0.000 0.000 0.000 0.000

Problem 276

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B A A F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

138 143 259 3210 161 524 0 0 0

N.S.

1 1.04 1.88 23.26 1.17 3.80 0.00 0.00 0.00

time (sec)

N/A 0.319 3.393 12.250 0.203 0.475 0.000 0.000 0.000

Problem 277

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B A B F F F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

77 75 405 1513 78 410 0 0 0

N.S.

1 0.97 5.26 19.65 1.01 5.32 0.00 0.00 0.00

time (sec)

N/A 0.268 7.307 8.133 0.189 0.333 0.000 0.000 0.000

Problem 278

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

32 32 57 49 30 65 0 0 199

N.S.

1 1.00 1.78 1.53 0.94 2.03 0.00 0.00 6.22

time (sec)

N/A 0.244 0.777 1.876 0.191 0.260 0.000 0.000 20.519

Problem 279

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B B B F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

77 75 168 515 2055 601 0 0 0

N.S.

1 0.97 2.18 6.69 26.69 7.81 0.00 0.00 0.00

time (sec)

N/A 0.228 1.544 2.535 0.542 0.446 0.000 0.000 0.000

Problem 280

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F B F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

131 134 2059 809 0 699 0 0 0

N.S.

1 1.02 15.72 6.18 0.00 5.34 0.00 0.00 0.00

time (sec)

N/A 0.330 15.386 4.129 0.000 0.632 0.000 0.000 0.000

Problem 281

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F A F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

194 207 2046 1143 0 811 0 0 0

N.S.

1 1.07 10.55 5.89 0.00 4.18 0.00 0.00 0.00

time (sec)

N/A 0.382 16.178 6.399 0.000 1.479 0.000 0.000 0.000

Problem 282

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F A F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

271 293 2068 1499 0 941 0 0 0

N.S.

1 1.08 7.63 5.53 0.00 3.47 0.00 0.00 0.00

time (sec)

N/A 0.461 17.722 9.780 0.000 4.392 0.000 0.000 0.000

Problem 283

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

321 327 167 16966 0 1374 0 0 0

N.S.

1 1.02 0.52 52.85 0.00 4.28 0.00 0.00 0.00

time (sec)

N/A 0.595 4.177 6.008 0.000 0.221 0.000 0.000 0.000

Problem 284

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F C F F F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

319 323 1204 12063 0 1244 0 0 0

N.S.

1 1.01 3.77 37.82 0.00 3.90 0.00 0.00 0.00

time (sec)

N/A 0.573 22.179 5.086 0.000 0.207 0.000 0.000 0.000

Problem 285

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F C F C F F F(-1)

verified

N/A Yes N/A No TBD TBD TBD TBD TBD

size

327 333 0 16966 0 1293 0 0 0

N.S.

1 1.02 0.00 51.88 0.00 3.95 0.00 0.00 0.00

time (sec)

N/A 0.584 0.000 6.015 0.000 0.211 0.000 0.000 0.000

Problem 286

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F C F F F F F(-1)

verified

N/A Yes N/A No TBD TBD TBD TBD TBD

size

349 351 0 20403 0 0 0 0 0

N.S.

1 1.01 0.00 58.46 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.570 0.000 7.614 0.000 0.000 0.000 0.000 0.000

Problem 287

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F C F F F(-1) F F(-1)

verified

N/A Yes N/A No TBD TBD TBD TBD TBD

size

441 430 0 24449 0 0 0 0 0

N.S.

1 0.98 0.00 55.44 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.718 0.000 9.934 0.000 0.000 0.000 0.000 0.000

Problem 288

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F C F F F(-1) F F(-1)

verified

N/A Yes N/A No TBD TBD TBD TBD TBD

size

559 531 0 31577 0 0 0 0 0

N.S.

1 0.95 0.00 56.49 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.822 0.000 13.435 0.000 0.000 0.000 0.000 0.000

Problem 289

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B B B F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

133 145 592 2355 275 688 0 0 0

N.S.

1 1.09 4.45 17.71 2.07 5.17 0.00 0.00 0.00

time (sec)

N/A 0.317 10.351 6.327 0.203 0.505 0.000 0.000 0.000

Problem 290

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

79 79 74 75 117 134 0 0 153

N.S.

1 1.00 0.94 0.95 1.48 1.70 0.00 0.00 1.94

time (sec)

N/A 0.251 5.042 3.141 0.184 0.343 0.000 0.000 29.436

Problem 291

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A B F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

71 69 215 84 61 134 0 0 172

N.S.

1 0.97 3.03 1.18 0.86 1.89 0.00 0.00 2.42

time (sec)

N/A 0.255 6.140 3.115 0.183 0.383 0.000 0.000 30.119

Problem 292

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F(-1) B F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

125 135 1927 1263 0 881 0 0 0

N.S.

1 1.08 15.42 10.10 0.00 7.05 0.00 0.00 0.00

time (sec)

N/A 0.274 6.499 3.763 0.000 0.732 0.000 0.000 0.000

Problem 293

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F B F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

187 204 1775 2143 0 1023 0 0 0

N.S.

1 1.09 9.49 11.46 0.00 5.47 0.00 0.00 0.00

time (sec)

N/A 0.392 16.736 5.352 0.000 1.784 0.000 0.000 0.000

Problem 294

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F B F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

261 287 1777 2770 0 1187 0 0 0

N.S.

1 1.10 6.81 10.61 0.00 4.55 0.00 0.00 0.00

time (sec)

N/A 0.469 18.420 8.145 0.000 5.422 0.000 0.000 0.000

Problem 295

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F A F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

332 367 1776 3399 0 1337 0 0 0

N.S.

1 1.11 5.35 10.24 0.00 4.03 0.00 0.00 0.00

time (sec)

N/A 0.527 21.312 10.807 0.000 16.210 0.000 0.000 0.000

Problem 296

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F(-1) B F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

179 201 1777 2018 0 1241 0 0 0

N.S.

1 1.12 9.93 11.27 0.00 6.93 0.00 0.00 0.00

time (sec)

N/A 0.334 16.808 5.457 0.000 2.122 0.000 0.000 0.000

Problem 297

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B B B F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

14 14 37 59 388 53 0 0 0

N.S.

1 1.00 2.64 4.21 27.71 3.79 0.00 0.00 0.00

time (sec)

N/A 0.173 0.121 0.868 0.379 0.252 0.000 0.000 0.000

Problem 298

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F B F F F F F F(-1)

verified

N/A N/A No N/A TBD TBD TBD TBD TBD

size

111 0 2195 0 0 0 0 0 0

N.S.

1 0.00 19.77 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 20.076 0.000 0.000 0.000 0.000 0.000 0.000

Problem 299

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F F F F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

103 113 1989 0 0 0 0 0 0

N.S.

1 1.10 19.31 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.346 17.989 0.000 0.000 0.000 0.000 0.000 0.000

Problem 300

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F F F F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

103 113 1995 0 0 0 0 0 0

N.S.

1 1.10 19.37 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.311 17.416 0.000 0.000 0.000 0.000 0.000 0.000